Social machines are a prominent focus of attention for those who work in the field of Web and Internet science. Although a number of online systems have been described as social machines, there is, as yet, little consensus as to the precise meaning of the term “social machine.” This presents a problem for the scientific study of social machines, especially when it comes to the provision of a theoretical framework that directs, informs, and explicates the scientific and engineering activities of (...) the social machine community. The present paper outlines an approach to understanding social machines that draws on recent work in the philosophy of science, especially work in so-called mechanical philosophy. This is what might be called a mechanistic view of social machines. According to this view, social machines are systems whose phenomena are explained via an appeal to socio-technical mechanisms. We show how this account is able to accommodate a number of existing attempts to define the social machine concept, thereby yielding an important opportunity for theoretical integration. (shrink)

According to proponents of the extended mind, bio-external resources, such as a notebook or a smartphone, are candidate parts of the cognitive and mental machinery that realises cognitive states and processes. The present chapter discusses three areas of ethical concern associated with the extended mind, namely mental privacy, mental manipulation, and agency. We also examine the ethics of the extended mind from the standpoint of three general normative frameworks, namely, consequentialism, deontology, and virtue ethics.

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

The article is devoted to the problems of introducing the SMART-education technology in the training and development of personnel of hotel complexes and business activities in the field of hotel business. The methodological and organizational bases for the application of SMART-education in staff training were identified; the leading qualitative features and development trends of this type of entrepreneurial educational activity were outlined. The principles of SMART-education of staff in the field of hotel business and its applied features (...) in the service sector were developed. A model of SMART- education of hotel complex staff was developed based on solving case problems and practical mastering of professional content. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

Smart home has become more and more popular in recent years. Due to the rapid development in the field of the Automation industry, human life is becoming more advanced and better in all aspects. In the present scenario, Automated systems are being preferred over the non-automated system. With the rapid growth in the number of consumers using the internet over the past years, the Internet has become an important part of life, and IoT is the newest and emerging internet (...) technology. Internet of things plays an important role in human life as well as in the educational field because they are able to provide information and complete the given tasks while we are busy doing some other work. In this project, a prototype and implementation of Smart Home Automation with Wi-Fi technology are demonstrated. ESP8266 is used as a Wi-Fi technology. The proposed system consists of a hardware interface and software interface. In the hardware interface, the integration of ESP8266 Wi-Fi technology for controlling home appliances, door lock and unlock and sensors is manifested, and an application is provided for controlling to multiple users of home, with smart phones, tablets, and laptops. This system is one of the best methods for controlling home devices with ease with multiple users and one of the best methods for an energy management system. The access to the whole system is given by its admin only to different users. This system is also expandable for controlling various appliances used at home and also for the security and safety purpose of the home through sensors as long as it exists on Wi-Fi network coverage. (shrink)

The main objective of our project is to construct a fully functional voice-based home automation system that uses the Internet of Things and Natural Language Processing. The home automation system is user-friendly to smartphones and laptops. A set of relays is used to connect the Node MCU to homes under controlled appliances. The user sends a command through the speech to the mobile devices, which interprets the message and sends the appropriate command to the specific appliance. The voice command given (...) by the user is interpreted by the mobile device using Natural Language Processing. The system utilizes a node microcontroller unit (Node MCU) as a Wi-Fi-based gateway to connect to the Google Assistant. It determines operation must be completed by which the appliance to fulfill the user’s request. The user increased mobile capabilities we will be using a smart phone in this project. A smartphone application as nearly all of the data transferred can be processed by cloud. The user increased mobile capabilities we will be using a smart phone in this project. The IoT -based system for home automation can easily and efficiently control appliances. The Node MCU is interfaced with the appliances and programmed in a manner that they respond to mobile inputs. (shrink)

Decentralized autonomous organizations (DAOs) are a new, rapidly-growing class of organizations governed by smart contracts. Here we describe how researchers can contribute to the emerging science of DAOs and other digitally-constituted organizations. From granular privacy primitives to mechanism designs to model laws, we identify high-impact problems in the DAO ecosystem where existing gaps might be tackled through a new data set or by applying tools and ideas from existing research fields such as political science, computer science, economics, law, and (...) organizational science. Our recommendations encompass exciting research questions as well as promising business opportunities. We call on the wider research community to join the global effort to invent the next generation of organizations. (shrink)

This chapter by Fisher continues the theme of the relation between Armstrong and Lewis, only Fisher casts the net far wider. He begins by arguing that there were at least two different lines of influence from early twentieth-century behaviourism to the identity theory: one through logical positivism and the other through ordinary language philosophy, the latter involving Place and Smart, and Lewis and Armstrong. It was Armstrong and Lewis who were to have a profound influence on subsequent developments in (...) analytic philosophy, both methodologically and in metaphysics, and it is for this reason that Fisher devotes the rest of his chapter to tracing the origins of their theories of mind and the manner in which the emphases and methodologies deployed in developing their respective theories became the hallmarks of their wider impact on analytic philosophy. (shrink)

In recent years, exposome research has been put forward as the next frontier for the study of human health and disease. Exposome research entails the analysis of the totality of environmental exposures and their corresponding biological responses within the human body. Increasingly, this is operationalized by big-data approaches to map the effects of internal as well as external exposures using smart sensors and multiomics technologies. However, the ethical implications of exposome research are still only rarely discussed in the literature. (...) Therefore, we conducted a systematic review of the academic literature regarding both the exposome and underlying research fields and approaches, to map the ethical aspects that are relevant to exposome research. We identify five ethical themes that are prominent in ethics discussions: the goals of exposome research, its standards, its tools, how it relates to study participants, and the consequences of its products. Furthermore, we provide a number of general principles for how future ethics research can best make use of our comprehensive overview of the ethical aspects of exposome research. Lastly, we highlight three aspects of exposome research that are most in need of ethical reflection: the actionability of its findings, the epidemiological or clinical norms applicable to exposome research, and the meaning and action–implications of bias. (shrink)

The focus of the research is to develop recommendations of smart specialization (SS) for Ukrainian policymakers using European approaches. The authors revealed that the main SS projects are presented in such sectors as agri-food, industrial modernization and energy. More than 12 EU countries were the plot for conducted analysis of SS, as a result of which the level of activity of each country was determined. The creation of consortiums, including SMEs, associations, universities and other participants, disclosed the successful way (...) of SS realization. The structure of SME’s innovative potential in Ukraine was identified underlining their main characteristic features like types of innovations and innovative activity, differentiation according to enterprise size, their regional distribution. The authors explored lack of innovations on regional and national level and significant territorial disparities, which could be eliminated through policy implementation of regional SS. The existing legislative norms for possibility of SS implementation in Ukraine were analyzed due to correspondence with the EU ones. The analysis provides the opportunity to consider them only as general framework documents without any action plans and sectoral prioritization at all. The weak points of these law documents are emphasized. As a result of research, the authors developed recommendations presented by direct action plan for Ukrainian policymakers, which include such activities as underlining key priorities (especially ICT applicability in every SS project) and their correspondence with the EU ones; eliminating regional imbalances by focusing on innovation development and reorientation of some regions according to SS priorities; respecting regional existing capacities; providing organizational mechanism for cooperation of stakeholders and financial mechanism for SS support through the EU structural funds. (shrink)

I outline the theoretical framework of, and three research programs within American speculative philosophy of science during the period 1900-1931. One program applies verificationism to research in psychology, one investigates the methodology of research programs, and one analyses scientific explanation and other scientific concepts. The primary sources for my outline are works by Morris Raphael Cohen, Grace Andrus de Laguna, Theodore de Laguna, Edgar Arthur Singer Jr., Harold Robert Smart, and Marie Collins Swabey. I also use my outline (...) to provide a partial comparison of American speculative philosophy of science and 1930s logical positivism. My comparison suggests that logical positivism was a proposal for substantially narrowing down and winding back American philosophy of science and was based on positions that were already problematized in the American context. -/- . (shrink)

To stimulate research and innovation (R&I), to contribute to the solution of societal challenges and to align R&I with societal values, the European Commission has launched the governance framework of Responsible Research and Innovation (RRI). RRI figures in many high-level EU policies as a means to promote smart growth, and a growing community of R&I practitioners from both the public and private sectors appears committed to it. Although debates on what RRI precisely entails have not reached closure yet, RRI (...) provides an interesting avenue to explore ways of making R&I more societally germane. While recognizing the usefulness of keeping critical reflection on RRI’s meaning alive, we suggest that to make the step from theorizing to implementation, RRI could benefit from a clearer conceptualization. This chapter presents the iterative trajectory in conceptualizing RRI followed as part of RRI Tools, one of a number of EC-funded research projects and support acts aimed at fleshing out what RRI can and should be, and the conceptualization of RRI that this led to. It suggests that RRI is best captured if in R&I governance attention is paid to the five p’s of Purpose, Products, Processes, Preconditions and People, and that further elaborations on the meaning of RRI should happen in dialogue with attempts at practicing RRI. (shrink)

To stimulate research and innovation (R&I), to contribute to the solution of societal challenges and to align R&I with societal values, the European Commission has launched the governance framework of Responsible Research and Innovation (RRI). RRI figures in many high-level EU policies as a means to promote smart growth, and a growing community of R&I practitioners from both the public and private sectors appears committed to it. Although debates on what RRI precisely entails have not reached closure yet, RRI (...) provides an interesting avenue to explore ways of making R&I more societally germane. While recognizing the usefulness of keeping critical reflection on RRI’s meaning alive, we suggest that to make the step from theorizing to implementation, RRI could benefit from a clearer conceptualization. This chapter presents the iterative trajectory in conceptualizing RRI followed as part of RRI Tools, one of a number of EC-funded research projects and support acts aimed at fleshing out what RRI can and should be, and the conceptualization of RRI that this led to. It suggests that RRI is best captured if in R&I governance attention is paid to the five p’s of Purpose, Products, Processes, Preconditions and People, and that further elaborations on the meaning of RRI should happen in dialogue with attempts at practicing RRI. (shrink)

Recent work in cognitive modelling has found that most of the data that has been cited as evidence for the dual-process theory (DPT) of reasoning is best explained by non-linear, “monotonic” one-process models (Stephens et al., 2018, 2019). In this paper, I consider an important caveat of this research: it uses models that are committed to unrealistic assumptions about how effectively task conditions can isolate Type-1 and Type-2 reasoning. To avoid this caveat, I develop a coordinated theoretical, experimental, and modelling (...) strategy to better test DPT. First, I propose that Type-1 and Type-2 reasoning are defined as reasoning that precedes and follows metacognitive control, respectively. Second, I argue that reasoning that precedes and follows metacognitive control can be effectively isolated using debiasing paradigms that manipulate metacognitive heuristics (e.g., processing fluency) to prevent or trigger metacognitive control, respectively. Third, I argue that monotonic modelling can allow us to decisively test DPT only when we use them to analyse data from this particular kind of debiasing paradigm. (shrink)

According to ‘orthodox’ epistemology, it has recently been said, whether or not a true belief amounts to knowledge depends exclusively on truth-related factors: for example, on whether the true belief was formed in a reliable way, or was supported by good evidence, and so on. Jason Stanley refers to this as the ‘intellectualist’ component of orthodox epistemology, and Jeremy Fantl and Matthew McGrath describe it as orthodox epistemology’s commitment to a ‘purely epistemic’ account of knowledge — that is, an account (...) of knowledge where only truth-related factors figure in whether or not a person knows. In the first part of this paper I try to clarify the intellectualist thesis and to distinguish what I take to be its two main strains. In the remainder of the paper I then take a more critical turn and argue that even if, as a matter of fact, traditional epistemology has endorsed intellectualism in both of its strains, this is a mistake on the part of the tradition. At least one way of understanding intellectualism should be rejected and its practicalist counterpart should be accepted instead. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded (...) cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet. (shrink)

Proponents of the extended mind have suggested that phenomenal transparency may be important to the way we evaluate putative cases of cognitive extension. In particular, it has been suggested that in order for a bio-external resource to count as part of the machinery of the mind, it must qualify as a form of transparent equipment or transparent technology. The present paper challenges this claim. It also challenges the idea that phenomenological properties can be used to settle disputes regarding the constitutional (...) status of bio-external resources in episodes of extended cognizing. Rather than regard phenomenal transparency as a criterion for cognitive extension, we suggest that transparency is a feature of situations that support the ascription of certain cognitive/mental dispositional properties to both ourselves and others. By directing attention to the forces and factors that motivate disposition ascriptions, we arrive at a clearer picture of the role of transparency in arguments for extended cognition and the extended mind. As it turns out, transparency is neither necessary nor sufficient for cognitive extension, but this does not mean that it is entirely irrelevant to our understanding of the circumstances in which episodes of extended cognizing are apt to arise. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

This paper addresses several questions related to the nature, production, and use of animal-human (a-h) chimeras. At the heart of the issue is whether certain types of a-h chimeras should be brought into existence, and, if they are, how we should treat such creatures. In our current research environment, we recognize a dichotomy between research involving nonhuman animal subjects and research involving human subjects, and the classification of a research protocol into one of these categories will trigger different ethical standards (...) as to the moral permissibility of the research in question. Are a-h chimeras entitled to the more restrictive and protective ethical standards applied to human research subjects? We elucidate an Aristotelian-Thomistic metaphysical framework in which to argue how such chimeras ought to be defined ontologically. We then examine when the creation of, and experimentation upon, certain types of a-h chimeras may be morally permissible. (shrink)

Examples of extended cognition typically involve the use of technologically low-grade bio-external resources (e.g., the use of pen and paper to solve long multiplication problems). The present paper describes a putative case of extended cognizing based around a technologically advanced mixed reality device, namely, the Microsoft HoloLens. The case is evaluated from the standpoint of a mechanistic perspective. In particular, it is suggested that a combination of organismic (e.g., the human individual) and extra-organismic (e.g., the HoloLens) resources form part of (...) a common mechanism that realizes a bona fide cognitive routine. In addition to demonstrating how the theoretical resources of neo-mechanical philosophy might be used to evaluate extended cognitive systems, the present paper illustrates one of the ways in which mixed reality devices, virtual objects (i.e., holograms), and online (Internet-accessible) computational routines might be incorporated into human cognitive processes. This, it is suggested, speaks to the recent interest in mixed/virtual reality technologies across a number of disciplines. It also introduces us to issues that cross-cut disparate fields of philosophical research, such as the philosophy of science and the philosophy of technology. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

Some time ago, Joel Katzav and Brian Ellis debated the compatibility of dispositional essentialism with the principle of least action. Surprisingly, very little has been said on the matter since, even by the most naturalistically inclined metaphysicians. Here, we revisit the Katzav–Ellis arguments of 2004–05. We outline the two problems for the dispositionalist identified Katzav in his 2004 , and claim they are not as problematic for the dispositional essentialist at it first seems – but not for the reasons espoused (...) by Ellis. (shrink)

While epistemologists routinely employ disbelief talk, it is not clear that they really mean it, given that they often equate disbelieving p with believing ¬p. I argue that this is a mistake—disbelief is a doxastic attitude of rejection and is distinct from belief. I first clarify this claim and its opposition, then show that we must distinguish disbelieving p from believing ¬p in order to account for the fact that we continue to hold doxastic attitudes toward propositions that we reject. (...) After defending this argument against some possible objections, I examine several cases that reveal disbelieving p to be not only non-identical to believing ¬p, but independent of that attitude as well. Finally, I sketch some immediate and potential consequences of recognizing disbelief as a distinct doxastic attitude, particularly for work on epistemic rationality. (shrink)

Animals have moral status, and we have corresponding obligations to take their interests into account. I argue that Stakeholder Theory provides a moderate, yet principled way for businesses to do so. Animals ought to be treated as stakeholders given that they affect and are affected by the achievement of the objectives of the businesses in which they are involved. Stakeholder Theory therefore requires taking those interests into account. It does not, however, require that they be given the same weight as (...) human interests. By taking the stakeholder approach, businesses can avoid merely reacting to (rapidly increasing) public outcry over the treatment of animals. Even those who hold extreme positions—that businesses have no obligations to animals, or that animal products and services are inherently immoral—can take the treatment of animals as stakeholders to provide an ethical realpolitik of sorts that is both better for animals and better for business. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Mandevillian intelligence is a specific form of collective intelligence in which individual cognitive shortcomings, limitations and biases play a positive functional role in yielding various forms of collective cognitive success. When this idea is transposed to the epistemological domain, mandevillian intelligence emerges as the idea that individual forms of intellectual vice may, on occasion, support the epistemic performance of some form of multi-agent ensemble, such as a socio-epistemic system, a collective doxastic agent, or an epistemic group agent. As a specific (...) form of collective intelligence, mandevillian intelligence is relevant to a number of debates in social epistemology, especially those that seek to understand how group (or collective) knowledge arises from the interactions between a collection of individual epistemic agents. Beyond this, however, mandevillian intelligence raises issues that are relevant to the research agendas of both virtue epistemology and applied epistemology. From a virtue epistemological perspective, mandevillian intelligence encourages us to adopt a relativistic conception of intellectual vice/virtue, enabling us to see how individual forms of intellectual vice may (sometimes) be relevant to collective forms of intellectual virtue. In addition, mandevillian intelligence is relevant to the nascent sub-discipline of applied epistemology. In particular, mandevillian intelligence forces us see the potential epistemic value of (e.g., technological) interventions that create, maintain or promote individual forms of intellectual vice. (shrink)

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

The present chapter discusses the implications of virtual reality for the theory and practice of embodied cognitive science. The chapter discusses how recent technological innovations are poised to reshape our understanding of the materially-embodied and environmentally-situated mind, providing us with a new means of studying the mechanisms responsible for intelligent behavior. The chapter also discusses how a synthetically-oriented shift in our approach to embodied intelligence alters our view of familiar problems, most notably the distinction between embedded and extended cognition. The (...) chapter concludes by challenging the idea that virtual worlds ought to be seen as nothing more than a scientific ‘sandpit’ for the study of the embodied mind. Some forms of embodied intelligence can, I suggest, exist solely in virtual reality. In this sense, the ‘Matrix’ is not just a means of testing ideas about the forms of embodied intelligence that inhabit our own physical reality; it is also a means of creating entirely new forms of embodied intelligence. It is by building virtual worlds that we open the door to a new reality—one that is home to a potentially infinite variety of embodied, embedded, and perhaps even extended beings. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

*This work has turned into a bigger project, and some of it is published in "Lewis on reference".* Some things, argues Lewis, are just better candidates to be referents than others. Even at the cost of attributing false beliefs, we interpret people as referring to the most interesting kinds in their vicinity. How should this be accounted for? In section 1, I look at Lewis’s interpretationism, and the reference magnetism it builds in (not just for ‘perfectly natural’ properties, but for (...) certain kinds of auxiliary apparatus). In section 2, I draw on (Field, 1975) to argue that what properties are reference magnetic may be an ultimately conventional matter—though in the Lewisian setting, there may be an objectively best conventional choice to make. But Lewis’s own account has implausible commitments, so in section 3 I consider variations and alternatives, all of which have problems. In section 4, I look in more detail at eligibility-based interpretationism that do not appeal to naturalness, arguing that there are credible metasemantic theories of this form. (shrink)

One way of viewing the organizing structure of the Confessions is to see it as an engagement with various texts at different phases of St. Augustine’s life. In the early books of the Confessions, Augustine describes the disordered state that made him unable to read any text (sacred or profane) properly. Yet following his conversion his entire orientation— not only to texts but also to reality as a whole—changes. This essay attempts to trace the winding paths that lead up to (...) Augustine’s conversion through his various encounters with texts (and individuals) and to examine his struggles both intellectual and spiritual along the way. In the final section, I bring Augustine into conversation with Hans-Georg Gadamer in order to highlight a number of hermeneutical continuities shared by premoderns and postmoderns. After comparing premodern and modern hermeneutical orientations, I conclude that Augustine’s approach to Scripture contrasts sharply with a (strict) modern grammatico-historical biblical methodology, whereas premodern hermeneutics share a number of continuities with Gadamerian and postmodern emphases. Lastly, in light of Gadamer’s famous statement, ‘all of life is hermeneutics’, I suggest that perhaps we could read Augustine’s life as affirming this claim. By taking a close look at Augustine’s story, I will attempt to show how pre-judgments, interpretative traditions and a dynamic/analogical rather than a static/univocal understanding of text (and reality) decisively affected his spiritual and intellectual vision—observations Gadamer would no doubt heartily affirm. (shrink)

Identifying the necessary and sufficient conditions for individuating and classifying diseases is a matter of great importance in the fields of law, ethics, epidemiology, and of course, medicine. In this paper, I first propose a means of achieving this goal, ensuring that no two distinct disease-types could correctly be ascribed to the same disease-token. I then posit a metaphysical ontology of diseases—that is, I give an account of what a disease is. This is essential to providing the most effective means (...) of interfering with disease processes. Following existing work in the philosophy of medicine and epidemiology (primarily Christopher Boorse; Caroline Whitbeck; Alexander Broadbent), philosophy of biology (Joseph LaPorte; D.L. Hull), conditional analyses of causation (J.L. Mackie; David Lewis), and recent literature on dispositional essentialism (Stephen Mumford and Rani Anjum; Alexander Bird), I endorse a dispositional conception of disease. Following discussion of various conceptions of disease-identity, their relations to the clinical and pathological effects of the diseases in question, and how diseases are treated, I conclude (i) that diseases should be individuated by their causes, and (ii) that diseases are causal processes best seen as simultaneously acting sequences of mutually manifesting dispositions. (shrink)

Bertrand Russell was a meta-ethical pioneer, the original inventor of both emotivism and the error theory. Why, having abandoned emotivism for the error theory, did he switch back to emotivism in the 1920s? Perhaps he did not relish the thought that as a moralist he was a professional hypocrite. In addition, Russell's version of the error theory suffers from severe defects. He commits the naturalistic fallacy and runs afoul of his own and Moore's arguments against subjectivism. These defects could be (...) repaired, but only by abandoning Russell's semantics.Russell preferred to revert to emotivism. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Consistent materialists are almost bound to suggest that , if it exists at all, is no more than epiphenomenal. A correct understanding of the real requires that everything we do and say is no more than a product of whatever processes are best described by physics, without any privileged place, person, time or scale of action. Consciousness is a myth, or at least a figment. Plotinus was no materialist: for him, it is Soul and Intellect that are more real than (...) the phenomena we misdescribe as material. Nor does he suppose that consciousness depends on language (as Stoics and modern materialists have sometimes said): wordless experience is actually superior. And much of what counts towards our present consciousness is to be discarded. It is better not to remember most of what now seems more significant to us; better to discard images; better that the intellect be than , losing any sense of separation between subject and object. The goal of the Plotinian intellectual is to join , but it is a mark of the good dancer that she is not conscious of what she does. There is therefore a strange confluence between Plotinus and modern materialists: our experience at least is transitory, deceitful, epiphenomenal, and is to be encountered when we have shed our illusions. (shrink)

This article seeks to provide a response to the Aloneness Argument Against Classical Theism proposed by Joseph C. Schmid and Ryan T. Mullins. This response focuses on showing the unsoundness of the argument once the Doctrine of Divine Simplicity is reformulated within the essentialist aspectival framework provided by the Aspectival Account. Formulating a response to this argument will thus also serve the further purpose of providing an extension of the Aspectival Account and a needed revision of the Doctrine of Divine (...) Simplicity, which can aid others in their quest to further clarify the nature of this doctrine. (shrink)

(1996). What the prophet and the philosopher told their nations: A multi‐modal systems view of norms and civilisation. World Futures: Vol. 47, Unity and Diversity in Contemporary Systems Tinking: Systematic Pictures at an Exhibition, pp. 53-67.

The term philosophy of chemistry is here construed broadly to include some publications from the history of chemistry and chemical education. Of course this initial selection of material has inevitably been biased by the interests of the author. This bibliography supersedes that of van Brakel and Vermeeren (1981), although no attempt has been made to include every single one of their entries, especially in languages other than English. Also, readers interested particularly in articles in German may wish to consult the (...) bibliography by Dittus and Mayer which also contains some material not included here (Dittus and Mayer, 1992). The aim is to maintain an up-to-date version of this bibliography and to publish a revised version in due course. Suggestions for further inclusions should be sent to the author. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)